home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.esc;
-
- import java.io.File;
- import java.util.Vector;
-
- public class FileHandler {
- public static Vector listRoots() {
- return null;
- }
-
- public static Vector list(File var0, String var1) {
- String[] var2 = var0.list();
- OrdVector var3 = new OrdVector(var2.length, true);
- OrdVector var4 = new OrdVector(var2.length, true);
-
- for(int var5 = 0; var5 < var2.length; ++var5) {
- FileOrdData var6 = new FileOrdData(var0, var2[var5]);
- if (var6.getValue().isDirectory()) {
- var3.addElement(var6);
- } else {
- int var7 = var2[var5].length();
- if (var7 > 2 && var1.indexOf(var2[var5].substring(var7 - 3)) >= 0) {
- var4.addElement(var6);
- }
- }
- }
-
- Vector var13 = var3.getOrdVect();
- int var14 = var13.size();
- Vector var8 = var4.getOrdVect();
- int var9 = var8.size();
- Vector var10 = new Vector(var2.length);
-
- for(int var11 = 0; var11 < var14; ++var11) {
- var10.addElement(((FileOrdData)var13.elementAt(var11)).getValue());
- }
-
- for(int var12 = 0; var12 < var9; ++var12) {
- var10.addElement(((FileOrdData)var8.elementAt(var12)).getValue());
- }
-
- return var10;
- }
- }
-